Search results for "system development"
showing 10 items of 31 documents
Neuronal LRP4 regulates synapse formation in the developing CNS
2017
The low-density lipoprotein receptor-related protein 4 (LRP4) is essential in muscle fibers for the establishment of the neuromuscular junction. Here, we show that LRP4 is also expressed by embryonic cortical and hippocampal neurons, and that downregulation of LRP4 in these neurons causes a reduction in density of synapses and number of primary dendrites. Accordingly, overexpression of LRP4 in cultured neurons had the opposite effect inducing more but shorter primary dendrites with an increased number of spines. Transsynaptic tracing mediated by rabies virus revealed a reduced number of neurons presynaptic to the cortical neurons in which LRP4 was knocked down. Moreover, neuron-specific kno…
RINT1 Loss Impairs Retinogenesis Through TRP53-Mediated Apoptosis
2020
Genomic instability in the central nervous system (CNS) is associated with defective neurodevelopment and neurodegeneration. Congenital human syndromes that affect the CNS development originate from mutations in genes of the DNA damage response (DDR) pathways. RINT1 (Rad50-interacting protein 1) is a partner of RAD50, that participates in the cellular responses to DNA double-strand breaks (DSB). Recently, we showed that Rint1 regulates cell survival in the developing brain and its loss led to premature lethality associated with genomic stability. To bypass the lethality of Rint1 inactivation in the embryonic brain and better understand the roles of RINT1 in CNS development, we conditionally…
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
A Functional Framework for Evaluating Method Engineering Environments: the case of Maestro II/ Decamerone and MetaEdit+
1996
CASE environments with method customisation capabilities and Computer Aided Method Engineering (CAME) environments have emerged during the last few years. While many research papers discuss the principles of method engineering and suggest requirements for new environments, we do not have critical evaluations of CAME environments using a wider method engineering framework. The aims of this study are twofold: 1) to build a preliminary framework for comparative studies of CAME environments, and 2) to increase the knowledge of the ‘state of the art’ in CAME by evaluating two CAME environments. We adapt a functional framework — originally built for CASE technology — to examine the following two …
Ethically Aligned Design: An empirical evaluation of the RESOLVEDD-strategy in Software and Systems development context
2019
Use of artificial intelligence (AI) in human contexts calls for ethical considerations for the design and development of AI-based systems. However, little knowledge currently exists on how to provide useful and tangible tools that could help software developers and designers implement ethical considerations into practice. In this paper, we empirically evaluate a method that enables ethically aligned design in a decision-making process. Though this method, titled the RESOLVEDD-strategy, originates from the field of business ethics, it is being applied in other fields as well. We tested the RESOLVEDD-strategy in a multiple case study of five student projects where the use of ethical tools was…
Analysis of the use of a workflow engine for OTRUM system software
2007
Masteroppgave i informasjons- og kommunikasjonsteknologi 2007 – Høgskolen i Agder, Grimstad Workflow engines are attracting more and more attention. Applications based on workflow engine technology are currently developed and deployed by many companies, such as OTRUM Company. In this project, we focus on the analysis and development of an efficient workflow engine for interactive TV. The research project will realize workflow engine solutions based on three choices including commercial workflow engine, open source workflow engine, and a workflow engine implemented from scratch. In this project, we go through all mentioned solutions. In the literature, many proposed workflow engines are invo…
Stochastic Learning-Based Estimation Methods for Pattern Recognition and Its Application to Topic Detection and Tracking
2008
Masteroppgave i informasjons- og kommunikasjonsteknologi 2008 – Universitetet i Agder, Grimstad Every Pattern Recognition (PR) problem involves a training and a testing phase. In the training phase, the system is presented with samples, using which the distribution (also called the classconditional distribution), of the features, is estimated. Traditional PR systems assume that the class-conditional distributions are stationary, and thus that they do not change with time. Recently Oommen and his co-authors have presented a strategy by which the parameters of a binomial/- multinomial distribution can be estimated when the distribution is non-stationary. In this thesis, we propose a selection…
Mutual Backup System
2007
Masteroppgave i informasjons- og kommunikasjonsteknologi 2007 – Høgskolen i Agder, Grimstad I de senere årene har det kommet nye teknologier for backup og behovet for sikkerhetskopiering er i økende vekst. Både privatbrukere og bedrifter har viktige data som må tas kopier av på en sikker måte og oppbevares på et sikret sted. De fleste bedrifter har gode nok ressurser til å lagre sine data via online backup eller andre løsninger som for eksempel SAN. Privatbrukere har ikke de samme lagringsbehovene, og derfor kan online backup være kostbart for lagring av små mengder data. Vår oppgave går ut på å forske på eksisterende løsninger for sikkerhetskopiering og teknologier som kan benyttes for å u…
A Generic Model of Project Management with Dynaplan smia
2008
Masteroppgave i informasjons- og kommunikasjonsteknologi 2008 – Universitetet i Agder, Grimstad Projects are hard to be managed due to the reason of complexity, non -linear relationship and high dynamic. System dynamics has been proven a powerful and efficient way to manage projects. In this research, a generic system dynamics model applying to project management has been made. Through studying the model, the system behaviours have been analyzed and policies to deal with the problems of project management have been established. In addition, an object-oriented feature has been added into the model. The attempt is new to system dynamics modelling, and the outcome is satisfying since it makes …
A generic model of project management with Vensim
2008
Masteroppgave i informasjons- og kommunikasjonsteknologi 2008 – Universitetet i Agder, Grimstad Large projects without good management will often cause cost and deadline overruns, missing the project scope and insufficient quality. The construction of the channel tunnel which link between England and France was budgeted at $7 billion, but it entered service in the second half of 1994 with a price tag of $13 billion. The Disneyland in Paris initially planned to cost $2.25 billion in the project, but finally cost $4 billion. Some projects are even never finished, typically software projects System dynamics has proven to be an effective methodology to explain the reasons of project failure and…